Intuitionistic Necessity Revisited
نویسنده
چکیده
In this paper we consider an intuitionistic modal logic, which we call IS4 2. Our approach is diierent to others in that we favour the natural deduction and sequent calculus proof systems rather than the axiomatic, or Hilbert-style, system. Our natural deduction formulation is simpler than other proposals. The traditional means of devising a modal logic is with reference to a model, and almost always, in terms of a Kripke model. Again our approach is diierent in that we favour categorical models. This facilitates not only a more abstract deenition of a whole class of models but also a means of modelling proofs as well as provability.
منابع مشابه
Operations on Generalized Intuitionistic Fuzzy Soft Sets
Generalized intuitionistic fuzzy soft set theory, proposed by Park et al. [Journal of Korean Institute of Intelligent Systems 21(3) (2011) 389-394], has been regarded as an effective mathematical tool to deal with uncertainties. In this paper, we prove that certain De Margan’s law hold in generalized intuitionistic fuzzy soft set theory with respect to union and intersection operations on gener...
متن کاملA Note on Constructive Modalities for Information
Kurt Gödel (1933) proved the formal correspondence between the intuitionistic truth of a formula F and its classical provability via modal necessity: if F is derivable in a calculus for intuitionistic logic, a translation of F such that each of its subformulas is prefixed by a necessity operator can be derived in the modal language S4. The inverse implication was established few years later by ...
متن کاملBicartesian Coherence Revisited
A survey is given of results about coherence for categories with finite products and coproducts. For these results, which were published previously by the authors in several places, some formulations and proofs are here corrected, and matters are updated. The categories investigated in this paper formalize equality of proofs in classical and intuitionistic conjunctive-disjunctive logic without ...
متن کاملSome Proof Theoretic Considerations in Intuitionistic Propositional Modal Logic
Formalizations of different logics can serve as foundations for reasoning about various properties of both hardware and software systems. Intuitionistic modal logics, featuring operators encoding possibility and necessity, have recently found applications in hardware verification as well as proposed type systems for staged computation and distributed computing. We propose several novel sequent ...
متن کاملFuzzy multicriteria decision making method based on the improved accuracy function for interval-valued intuitionistic fuzzy sets
A new accuracy function for the theory of interval-valued intuitionistic fuzzy set, which overcomes some difficulties arising in the existing methods for determining rank of interval-valued intuitionistic fuzzy numbers, is proposed by taking into account the hesitancy degree of interval-valued intuitionistic fuzzy sets. By comparing it with several proposed accuracy functions, the necessity and...
متن کامل